<p>non empty list</p><p>non empty list and size</p>